λ Functional Programming - hello · Scour

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·3h·

Discuss: Hacker News

📐Type Theory

Refining Almost-Safe Value Functions on the Fly

arxiv.org·20h

🌊CALM Theorem

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

math.columbia.edu·9h

🔢Homomorphic Encryption

Async Programming Is Just @Inject Time

willhbr.net·14h

📚Stack Unwinding

Weeks 6-8: Advanced Arrays, Problem-Solving Patterns, and Building a Data CLI

dev.to·9h·

Discuss: DEV

🔨Compiler Design

martianoff/gala: GALA (Go Alternative LAnguage) -- a modern functional programming language that transpiles to Go. Sealed types, pattern matching, immutability by default, monads (Option, Either, Try, Future), and full Go interop. Built with Go, ANTLR4, Bazel and Claude.

github.com·1d·

Discuss: Hacker News

Programming in K

news.ycombinator.com·22h·

Discuss: Hacker News

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·5h

State of Haskell 2025 results

discourse.haskell.org·5h·

Discuss: Lobsters, r/programming

📐Type Theory

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·20h

🔍Type Inference

TypeScript Decorators: From Basics to Advanced

slicker.me·19h·

Discuss: r/typescript

extended C*-algebra in nLab

ncatlab.org·5h

∘Category Theory

Code Less, Ship Faster: Building APIs with FastAPI

towardsdatascience.com·4h

Computation Without Consequence

psychologytoday.com·6h

Compose Stability and Recomposition Optimization — @Stable/@Immutable/skippable

dev.to·21h·

Discuss: DEV

A Number with a Shadow

campedersen.com·20h

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·8h

✓Formal Verification

Differential Logic • 15

inquiryintoinquiry.com·7h

∘Category Theory

Loading more...